floating-point divide by zero